a system of symbolic logic devised by George Boole used in computers
جورج بولے کی طرف سے تیار علامتی منطق کا نظام کمپیوٹر میں استعمال ہوتا ہے